翻訳と辞書
Words near each other
・ Acts of the Apostles
・ Acts of the Apostles (genre)
・ Acts of the claimant
・ Acts of the Kings of Israel
・ Acts of the Martyrs
・ Acts of the Unspeakable
・ Acts of Thomas
・ Acts of Timothy
・ Acts of Union 1707
・ Acts of Union 1800
・ Acts of Uziah
・ Actor model and process calculi history
・ Actor model implementation
・ Actor model later history
・ Actor model middle history
Actor model theory
・ Actor modeling
・ Actor Nakamura Shikan II as Satake Shinjuro
・ Actor Rebellion of 1733
・ Actor Tour
・ Actor's and Sin
・ Actor's Workshop
・ Actor-Based Concurrent Language
・ Actor-Lab
・ Actor-manager
・ Actorexpo
・ ActorFoundry
・ Actoria gens
・ Actors (film)
・ Actors Anonymous


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Actor model theory : ウィキペディア英語版
Actor model theory

In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model.
Actors are the primitives that form the basis of the Actor model of concurrent digital computation. In response to a message that it receives, an Actor can make local decisions, create more Actors, send more messages, and designate how to respond to the next message received. Actor model theory incorporates theories of the events and structures of Actor computations, their proof theory, and denotational models.
==Events and their orderings==
From the definition of an Actor, it can be seen that numerous events take place: local decisions, creating Actors, sending messages, receiving messages, and designating how to respond to the next message received.
However, this article focuses on just those events that are the arrival of a message sent to an Actor.
This article reports on the results published in Hewitt ().
:''Law of Countability'': There are at most countably many events.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Actor model theory」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.